Submodule Construction and Supervisory Control: A Generalization
نویسنده
چکیده
We consider the following problem: For a system consisting of two submodules, the behavior of one submodule is known as well as the desired behavior S of the global system. What should be the behavior of the second submodule such that the behavior of the composition of the two submodules conforms to S ?-This problem has also been called "equation solving", and in the context of supervisory control, it is the problem of designing a suitable controller (second submodule) which controls a given system to be controlled (first submodule). Solutions to this problem have been described by different authors for various assumptions about the underlying communication mechanisms and conformance relations. We present a generalization of this problem and its solution using concepts from relational database theory. We also show that several of the existing solutions are special cases of our general formulation 1 Introduction In automata theory, the notion of constructing a product machine S from two given finite state machines S1 and S2, written S = S1 x S2, is a well-known concept. This notion is very important in practice since complex systems are usually constructed as a composition of smaller subsystems, and the behavior of the overall system is in many cases equal to the composition obtained by calculating the product of the behaviors of the two subsystems. Here we consider the inverse operation, also called equation solving: Given the composed system S and one of the components S1, what should be the behavior S2 of the second component such that the composition of these two components will exhibit a behavior equal to S. That is, we are looking for the value of X which is the solution to the equation S1 x X = S. This problem is an analogy of the integer division, which provides the solution to the equation N1 * X = N for integer values N1 and N. In integer arithmetic, there is in general no exact solution to this equation; therefore integer division provides the largest integer which multiplied with *
منابع مشابه
Using First-Order Logic to Reason about Submodule Construction1
We consider the following problem: For a system consisting of two components, the behavior of one component is known as well as the desired global behavior. What should be the behavior of the second component such that the behavior of the composition of the two conforms to the desired behavior ? This problem has been called "submodule construction" or "equation solving"; and in the context of s...
متن کاملSmall submodules with respect to an arbitrary submodule
Let $R$ be an arbitrary ring and $T$ be a submodule of an $R$-module $M$. A submodule $N$ of $M$ is called $T$-small in $M$ provided for each submodule $X$ of $M$, $Tsubseteq X+N$ implies that $Tsubseteq X$. We study this mentioned notion which is a generalization of the small submodules and we obtain some related results.
متن کاملOn Generalization of prime submodules
Let R be a commutative ring with identity and M be a unitary R-module. Let : S(M) −! S(M) [ {;} be a function, where S(M) is the set of submodules ofM. Suppose n 2 is a positive integer. A proper submodule P of M is called(n − 1, n) − -prime, if whenever a1, . . . , an−1 2 R and x 2 M and a1 . . . an−1x 2P(P), then there exists i 2 {1, . . . , n − 1} such that a1 . . . ai−1ai+1 . . . an−1x 2 P...
متن کامل2-absorbing $I$-prime and 2-absorbing $I$-second submodules
Let $R$ be a commutative ring and let $I$ be an ideal of $R$. In this paper, we will introduce the notions of 2-absorbing $I$-prime and 2-absorbing $I$-second submodules of an $R$-module $M$ as a generalization of 2-absorbing and strongly 2-absorbing second submodules of $M$ and explore some basic properties of these classes of modules.
متن کاملSubmodule Construction for Specifications with Input Assumptions and Output Guarantees
We consider the following problem: For a system consisting of two submodules, the behavior of one submodule is known as well as the desired behavior S of the global system. What should be the behavior of the second submodule such that the behavior of the composition of the two submodules conforms to S ? Solutions to this problem have been described in the context of various specification formal...
متن کامل